body {color: black; font-family: Verdana, Arial, sans-serif; font-size: smaller;} 

a:link, a:visited {text-decoration: none; border-bottom: 1px solid rgb(204, 204, 204);} 
a:hover {color: rgb(97,127,225); border-bottom: 2px solid rgb(97,127,225);}

img {border: 0px;}

#pageHeader div.nav img{padding: 0 0.3em 0 0; position: relative; top: 0.1ex;}
#pageHeader div.nav a{padding: 0.2em; position: relative; border: 0 !important; left: -0.2em; top: 0.1em;}
#pageHeader div.nav a:hover {background-color: rgb(250,252,254); text-decoration: none;}
#pageHeader h1 {font-size: 170%; font-weight: bold; display: inline}
#pageHeader .modified {margin-left: 2em; font-size: smaller; position: relative; top: -0.4em;}
#pageContainer {width: 50em; margin-left: 1.5em;}
#pageFooter {width: 60em; text-align: center; margin-top: 3em; font-size: 75%;}

hr {border-left: 0; border-right: 0; border-top: 1px solid gray; border-bottom: 1px solid white; text-align: left;}
h3 {font-size: 115%; font-weight: bold; margin-top: 1em; margin-bottom: 0;}
h4 {margin: 0.5em 0 0 0.5em; font-size: 110%;}
h5 {margin: 0.5em 0 0 1.5em; font-size: 102%;}
p {margin-top: 0.5em; margin-left: 1.5em; width: auto;}

dl.linkList {margin-left: 1.5em;}
dl.linkList dt a {font-weight: bold; font-size: 105%; font-family: Arial;}
dl.linkList dd {margin-left: 1.5em;}
dl.linkList dt {margin-top: 0.3em;}

ul {list-style-type: none; margin-left: 0; padding-left: 4em;}

.warn, .new {color: red;}
em em {font-style: normal;}

code {position: relative; top: -0.08em;}

div.code, code {border: 1px solid rgb(187,187,187); padding: 0.4em; overflow: hidden; margin-left: 1.5em; white-space: pre; }
div.code, p code, li code {font-size: small; font-family: Courier New; background-color: rgb(250,250,250);}
p code, li code {border: 0; padding: 0; margin-left: 0; white-space: normal;}
p code.block {margin: 0.2em 0 0.2em 0;}
			
.block {display: block}

ul#menu
{
padding: 0px;
position: relative;
margin: 0;
}

ul#menu li
{
display: inline;
}

ul#menu li a 
{
background-color: #ffffff;
padding: 10px 20px;
text-decoration: none;
line-height: 2.8em;
color: #034af3;
border-radius: 4px 4px 0 0;
}

ul#menu li a:hover
{
background-color: #e8eef4;
}
